David Brumley - PDFSEARCH.IO - Document Search Engine

David Brumley
Results: 104

#	Item
81	BAP: A Binary Analysis Platform David Brumley Ivan Jager Thanassis Avgerinos Edward J. Schwartz Carnegie Mellon University Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Computing Academia Higher education X86 Low-level programming language Carnegie Mellon University
82	Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2012-09-22 22:22:15 Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing
83	BitShred: Feature Hashing Malware for Scalable Triage and Semantic Analysis Jiyong Jang David Brumley Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Search algorithms Cluster analysis Jaccard index Hierarchical clustering Hash function Statistics Antivirus software Malware
84	A Contractual Anonymity System Edward J. Schwartz, David Brumley and Jonathan M. McCune Carnegie Mellon University, CyLab NDSS 2010: March 2nd, 2010 Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11
85	All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution (but might have been afraid to ask) (Yes, we were trying to overflow the title length field Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Symbolic execution David Brumley Pennsylvania Higher education Academia Computer programming Taint checking Carnegie Mellon University
86	Towards Attack-Agnostic Defenses David Brumley and Dawn Song Carnegie Mellon University {dbrumley,dawnsong}@cs.cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Cyberwarfare Botnet Denial-of-service attack Peer-to-peer Tor Malware Public-key cryptography Mobile IP Node Computer network security Computing Cryptography
87	Design Space and Analysis of Worm Defense Strategies David Brumley Li-Hao Liu Pongsin Poosankam Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Cyberwarfare Morris worm Parasitic worm Antibody Computer security Failure Computer worms Warhol worm SQL Slammer
88	Platform-Independent Programs Sang Kil Cha, Brian Pak, David Brumley Richard J. Lipton Carnegie Mellon University Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Shellcode NOP X86 Portable Executable Instruction set Assembly language Self-modifying code QEMU Branch Computer architecture Computing Instruction set architectures
89	Virtual Appliances for Deploying and Maintaining Software Constantine Sapuntzakis David Brumley Ramesh Chandra Nickolai Zeldovich Jim Chow Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software appliances Software distribution Virtual appliance VMware Workstation VMware ESX VMDK Server appliance TurnKey Linux Virtual Appliance Library Software System software VMware
90	Creating Vulnerability Signatures Using Weakest Preconditions David Brumley Hao Wang Somesh Jha Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Formal methods Program logic Predicate transformer semantics Logic programming Social vulnerability Vulnerability Algorithm FO KeY Theoretical computer science Logic Applied mathematics